Array Programming, K Language, Historical Notation, Mathematical Computing

From Lossy to Lossless Reasoning
manidoraisamy.com·4h·
Discuss: Hacker News
🔨Compilers
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λLambda Formalization
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·18h
💻Programming languages
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1h·
Discuss: Hacker News
🏗️Compiler Archaeology
Flag this post
Ajla Tutorial
ajla-lang.cz·22h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.io·3h
⚙️TLA+
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·22h
🔓Decompilation
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·3h·
🗂Data structures
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🔗Combinatory Logic
Flag this post
The Man Who Invented AGI
wired.com·4h·
Discuss: r/technews
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Flag this post
Issue 733
iosdevweekly.com·22h
❄️Nix Flakes
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.org·8h·
🎙️Whisper
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·21h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
✅ Day 57 of My Data Analytics Journey!
dev.to·1d·
Discuss: DEV
📊Count-Min Sketch
Flag this post
Issue 496
haskellweekly.news·1d
🔗Functional Compilers
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
🔧RISC-V Assembler
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·8h·
🔒Type Safety
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·4h·
Discuss: Hacker News
🔒Linear Types
Flag this post